A formal model of views for object‐oriented database systems
نویسندگان
چکیده
منابع مشابه
investigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
A Database Model for Medical Consultation
The database model presented in this paper is suitable for application in which queries may require non-crisp references to certain attributes. The data item (attribute) values may be crisp or fuzzy. For instance, such adjectives as 'high' or 'normal' may be attribute values for the attribute blood pressure. A disease or a condition can be described by a number of symptoms which may be crisp al...
متن کاملFormal Analysis on an Extended Security Model for Database Systems
In order to develop highly secure database systems to meet the requirements for class B2, the BLP (Bell-LaPudula) model is extended according to the features of database systems. A method for verifying security model for database systems is proposed. According to this method, analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our fo...
متن کاملAn Authorization Framework for Database Systems
Today, data plays an essential role in all levels of human life, from personal cell phones to medical, educational, military and government agencies. In such circumstances, the rate of cyber-attacks is also increasing. According to official reports, data breaches exposed 4.1 billion records in the first half of 2019. An information system consists of several components, which one of the most im...
متن کاملOn a Formal Model of an Object-Oriented Database with Views Supporting Data Materialisation
In this paper we propose a model of an object–oriented database with views. A view in our approach can have arbitrary complex structure. The crucial point of our model is that a view schema is totally separated from the original database schema. By this separation we achieved two following goals: logical data independence provided by a view schema and strong mechanism for data hiding and securi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Object Systems
سال: 1997
ISSN: 1074-3227,1096-9942
DOI: 10.1002/(sici)1096-9942(1997)3:3<157::aid-tapo1>3.3.co;2-m